Arsitektur Persamaan Diferensial Orde Tinggi
Persamaan diferensial linear orde ke-n ditandai oleh turunannya yang tertinggi. Kami mendefinisikan bentuk umumnya sebagai Persamaan (1):
$$P_0(t) \frac{d^n y}{dt^n} + P_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + P_{n-1}(t) \frac{dy}{dt} + P_n(t)y = G(t)$$ (1)
Untuk mempermudah analisis teoretis, sering kali kita menyederhanakan persamaan ini dengan membaginya dengan $P_0(t)$, dengan asumsi bahwa nilai tersebut tidak nol pada interval yang relevan. Ini menghasilkan Bentuk Standar (Persamaan 2):
$$L[y] = \frac{d^n y}{dt^n} + p_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + p_{n-1}(t) \frac{dy}{dt} + p_n(t)y = g(t)$$ (2)
Notasi Operator dan Koefisien Konstan
Kompleksitas dari $n$ turunan dirangkum menjadi satu operator linear tunggal $L$. Ketika koefisiennya konstan ($a_n$), ekspresinya menjadi lebih sederhana:
$L[y] = a_0y^{(n)} + a_1y^{(n-1)} + \dots + a_{n-1}y' + a_ny = g(t)$
Notasi ini menekankan bahwa $L$ bertindak secara linear: $L[c_1y_1 + c_2y_2] = c_1L[y_1] + c_2L[y_2]$. Prinsip ini menjamin bahwa solusi umum terdiri atas solusi pelengkap ($y_c$) dan solusi khusus ($Y$).
Perhatikan Gambar 4.2.4: Sistem dua pegas, dua massa dengan massa $m_1, m_2$ dan perpindahan $u_1, u_2$. Fisika menghasilkan dua persamaan orde kedua yang saling terhubung. Dengan mengisolasi $u_1$ melalui substitusi, kita menghasilkan satu persamaan orde ke-empat persamaan. Untuk menyelesaikannya, kita membutuhkan 4 kondisi awal (posisi dan kecepatan untuk setiap massa) untuk menemukan lintasan fisik yang unik.
Contoh Kerja: Solusi Homogen
Temukan solusi umum dari persamaan diferensial: $y''' - y'' - y' + y = 0$
Anggap $y = e^{rt}$. Substitusi ke dalam PD memberikan: $r^3 - r^2 - r + 1 = 0$.
Faktorkan dengan pengelompokan: $r^2(r - 1) - 1(r - 1) = 0 \implies (r^2 - 1)(r - 1) = 0$.
Ini dapat dijabarkan menjadi $(r - 1)(r + 1)(r - 1) = (r - 1)^2(r + 1) = 0$.
Akar-akarnya adalah $r = 1$ (kelipatan 2) dan $r = -1$. Karena $r=1$ berulang, kita kalikan suku kedua dengan $t$.
$y_c(t) = c_1e^t + c_2te^t + c_3e^{-t}$